💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·10h·
Discuss: DEV
📏Code Metrics
Is Odin Just a More Boring C?
dayvster.com·4h·
Discuss: Hacker News
🔩Systems Programming
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·8h
📏Code Metrics
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com·3h
🔐Cryptographic Archaeology
Intuit’s Numaflow Abstracts Away Infrastructure for ML Engineers
thenewstack.io·1h
🌊Stream Processing
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·20h·
Discuss: Hacker News
🛡️WASM Security
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·11h
⚛️Quantum Compilers
OO Design Principles: GRASP patterns
slott56.github.io·2d
🔒WASM Capabilities
Design Principle: Composable Services
sleepingpotato.com·2h·
Discuss: Hacker News
⚡gRPC
How we trained an ML model to detect DLL hijacking
securelist.com·7h
🔗Binary Similarity
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·3d
🔧Binary Parsers
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·8h
⬆️Lambda Lifting
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·3h·
Discuss: Lobsters, Hacker News, r/programming
🖥️Terminal Renaissance
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·2d
🔗Functional Compilers
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·4h·
Discuss: Hacker News
📚Lempel-Ziv
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·20h·
Discuss: Hacker News
🧮Algebraic Datatypes
[shi•rei] A new immediate-mode GUI framework for Go
judi.systems·3h·
Discuss: r/golang
🌐WASI
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·21h·
Discuss: r/programming
⚡Cache Coherence